RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🔄Reproducible Builds
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2h·
Discuss: Hacker News
🐫Embedded OCaml
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·11h·
Discuss: Hacker News
🔠Type-Level Programming
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·15h·
Discuss: Hacker News
🛡️seL4
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·2d·
Discuss: r/programming
🤖Program Synthesis
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·15h·
Discuss: Hacker News
🧪Property-Based Testing
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
🐫OCaml
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·1d·
Discuss: Lobsters, r/programming
⚙️PL Implementation
Understanding ASTs
hypermod.io·2d·
Discuss: Hacker News
🔠Type-Level Programming
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·1d·
Discuss: Hacker News
🛡️seL4
Announcing Precomputed Reachability Analysis in Socket
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
Go Assembly Mutation Testing
words.filippo.io·14h·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Sync primitives are Functionally Complete
kprotty.me·20h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫OCaml
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Our first outage from LLM-written code
sketch.dev·12h·
Discuss: Lobsters, Hacker News
🛡️seL4
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·3h·
Discuss: Hacker News
👁️System Observability
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
🎮Verification Games
Why build a domain-specific agent for front end tasks?
kombai.com·17h·
Discuss: Hacker News
🔤DSLs
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·20h·
Discuss: Hacker News
🎮Verification Games
Vibe Coding but not what you think
amritpandey.io·1d·
Discuss: Hacker News
🤖Program Synthesis